The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

Classical solution for a nonlinear hybrid system modeling combustion in a multilayer porous medium

Combustion processes in porous media have been used by the petroleum engineering industry to extract heavy oil from reservoirs. This study focuses on a one-dimensional nonlinear hybrid system consisting of $n$ reaction–diffusion–convection equations coupled with $n$ ordinary differential equations, which models a combustion front moving through a porous medium with $n$ parallel layers. The state variables are the temperature and fuel concentration in each layer. Coupling occurs in both the reaction function and differential operator coefficients. We prove the existence of a classical solution, first locally and then globally over time, to an initial and boundary value problem for the corresponding system. The proof uses a new approach for combustion problems in porous media. The local solution is obtained by defining an operator in a set of Hölder continuous functions and using Schauder’s fixed-point theorem to find a fixed point as the desired solution. Using Zorn’s lemma, we extend the local solution to a global solution, proving that the first-order spatial derivative of the temperature in each layer is a bounded function.     

Some unsolvable conjectures in finite p-groups

We survey some unsolvable conjectures in finite p-groups and their research progress.     

Interface and defects engineering for multilayer laser coatings

High-reflective multilayer laser coatings are widely used in advanced optical systems from high power laser facilities to high precision metrology systems. However, the real interface quality and defects will significantly affect absorption/scattering losses and laser induced damage thresholds of multilayer coatings. With the recent advances in the control of coating design and deposition processes, these coating properties can be significantly improved when properly engineered the interface and defects. This paper reviews the recent progress in the physics of laser damage, optical losses and environmental stability involved in multilayer reflective coatings for high power nanosecond near-infrared lasers. We first provide an overview of the layer growth mechanisms, ways to control the microstructures and reduce layer roughness, as well as the nature of defects which are critical to the optical loss and laser induced damage. Then an overview of interface engineering based on the design of coating structure and the regulation of deposition materials reveals their ability to improve the laser induced damage threshold, reduce the backscattering, and realize the desirable properties of environmental stability and exceptional multifunctionality. Moreover, we describe the recent progress in the laser damage and scattering mechanism of nodule defects and give the approaches to suppress the defect-induced damage and scattering of the multilayer laser coatings. Finally, the present challenges and limitations of high-performance multilayer laser coatings are highlighted, along with the comments on likely trends in future.     

Hermite‐Hadamard‐type inequalities for interval‐valued coordinated convex functions involving generalized fractional integrals

In this paper, we define interval‐valued left‐sided and right‐sided generalized fractional double integrals. We establish inequalities of Hermite‐Hadamard like for coordinated interval‐valued convex functions by applying our newly defined integrals.     

Subset representations and eigenvalues of the universal intertwining matrix

We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation.     

Differentiable spaces that are subcartesian

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows.